1

Strips: A new approach to the application of theorem proving to problem solving

Year:
1971
Language:
english
File:
PDF, 1.54 MB
english, 1971
2

Learning and executing generalized robot plans

Year:
1972
Language:
english
File:
PDF, 2.30 MB
english, 1972
4

Odyssey: A knowledge-based assistant

Year:
1981
Language:
english
File:
PDF, 1.83 MB
english, 1981
7

REF-ARF: A system for solving problems stated as procedures

Year:
1970
Language:
english
File:
PDF, 7.61 MB
english, 1970
8

EXPERT SYSTEMS INTERVIEW

Year:
1986
Language:
english
File:
PDF, 297 KB
english, 1986
9

Automated model selection for simulation based on relevance reasoning

Year:
1997
Language:
english
File:
PDF, 3.18 MB
english, 1997
13

STRIPS, a retrospective

Year:
1993
Language:
english
File:
PDF, 341 KB
english, 1993
15

A proof markup language for Semantic Web services

Year:
2006
Language:
english
File:
PDF, 327 KB
english, 2006
19

Preparative Cell Electrophoresis

Year:
1973
Language:
english
File:
PDF, 374 KB
english, 1973
22

JOSIE

Year:
1991
Language:
english
File:
PDF, 730 KB
english, 1991
28

1730 VASOPRESSIN DECREASES LUNG WATER IN FETAL LAMBS

Year:
1985
Language:
english
File:
PDF, 160 KB
english, 1985
29

Saying more with frames: Slots as classes

Year:
1992
Language:
english
File:
PDF, 836 KB
english, 1992
32

Views of office data

Year:
1982
Language:
english
File:
PDF, 41 KB
english, 1982
49

A Commitment-Based Framework for Describing Informal Cooperative Work

Year:
1982
Language:
english
File:
PDF, 885 KB
english, 1982